type special_key =
  | GLUT_KEY_F1
  | GLUT_KEY_F2
  | GLUT_KEY_F3
  | GLUT_KEY_F4
  | GLUT_KEY_F5
  | GLUT_KEY_F6
  | GLUT_KEY_F7
  | GLUT_KEY_F8
  | GLUT_KEY_F9
  | GLUT_KEY_F10
  | GLUT_KEY_F11
  | GLUT_KEY_F12
  | GLUT_KEY_LEFT
  | GLUT_KEY_UP
  | GLUT_KEY_RIGHT
  | GLUT_KEY_DOWN
  | GLUT_KEY_PAGE_UP
  | GLUT_KEY_PAGE_DOWN
  | GLUT_KEY_HOME
  | GLUT_KEY_END
  | GLUT_KEY_INSERT
